机译:用于密码协议的微积分:Spi微积分
机译:可证明正确的Spi Calculus安全协议规范的Java实现
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:Spi2Java:从spi演算自动生成密码协议Java代码
机译:用于自动FFT代码生成的基于Java的工具环境。
机译:沙门氏菌致病岛1(SPI-1)蛋白InvB在SopE和SopE2的III型分泌中的作用SopE和SopE2是在SPI-1外部编码的两种沙门氏菌效应蛋白。
机译:spi2java:自动加密协议从spi演算生成java代码
机译:计算科学。 anB / anBx中指定的安全协议的高效Java代码生成。